- classical proof
- мат.классическое доказательство
English-Russian scientific dictionary. 2008.
classical proof
Смотреть что такое "classical proof" в других словарях:
Classical logic — identifies a class of formal logics that have been most intensively studied and most widely used. The class is sometimes called standard logic as well.[1][2] They are characterised by a number of properties:[3] Law of the excluded middle and… … Wikipedia
Classical Hindu law in practice — originates from community, not a state polity. In this way, particular groups of society began to gain influence in the creation and administration of law. Primary corporate groups, Kingships, and Brahmins were the factions, which conveyed Hindu… … Wikipedia
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Classical test theory — is a body of related psychometric theory that predict outcomes of psychological testing such as the difficulty of items or the ability of test takers. Generally speaking, the aim of classical test theory is to understand and improve the… … Wikipedia
Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… … Wikipedia
Classical Hamiltonian quaternions — For the history of quaternions see:history of quaternions For a more general treatment of quaternions see:quaternions William Rowan Hamilton invented quaternions, a mathematical entity in 1843. This article describes Hamilton s original treatment … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
classical scholarship — Introduction the study, in all its aspects, of ancient Greece (ancient Greek civilization) and Rome (ancient Rome). In continental Europe the field is known as “classical philology,” but the use, in some circles, of “philology” to denote… … Universalium
Proof calculus — In mathematical logic, a proof calculus corresponds to a family of formal systems that use a common style of formal inference for its inference rules. The specific inference rules of a member of such a family characterize the theory of a… … Wikipedia
Classical Hindu law — An article related to Hinduism … Wikipedia
Classical central-force problem — In classical mechanics, the central force problem is to determine the motion of a particle under the influence of a single central force. A central force is a force that points from the particle directly towards (or directly away from) a fixed… … Wikipedia
